🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

Arenas in Rust
russellw.github.io·12h·
Discuss: Hacker News
🦀Rust Borrowing
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·18h
🔬Refinement Types
Project goals update — July 2025
blog.rust-lang.org·1d
🦀Rust Macros
The Generativity Pattern in Rust
arhan.sh·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🌳Persistent Data Structures
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·10h
📊Static Analysis
Part 1: A Deep Dive into Rust and C Memory Interoperability
notashes.me·1d·
Discuss: Hacker News, r/programming
🔩Systems Programming
Linear Types for Programmers
twey.io·3d·
Discuss: Hacker News
🔒Linear Types
Python performance myths and fairy tales
lwn.net·5h·
Discuss: Lobsters, Hacker News
💻Programming languages
Software books I wish I could read
buttondown.com·1h
🔄Language Evolution
How Rust powers Proton Authenticator
proton.me·1d
🦀Rust Borrowing
I created uroman-rs, a 22x faster rewrite of uroman, a universal romanizer.
reddit.com·11h·
Discuss: r/rust
🦀Rust Macros
GHC Developer Blog: GHC 9.10.3-rc2 is now available
haskell.org·14h
🔗Functional Compilers
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
Let's hax0r a GC… (eventually)
h4x0r.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠Memory Allocators
Rust's .map is cool
bennett.ink·21h
🔒Linear Types
A New Concurrent ML in Guile Scheme
wingolog.org·1d·
Discuss: Hacker News
🔄Lens Laws
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·2d·
Discuss: Hacker News
🔒Linear Types
Taming Go’s Garbage Collector with Memory Pools: A Practical Guide
dev.to·13h·
Discuss: DEV
🧠Memory Allocators
Encapsulation Isn't Java's Fault (and Python Needs It Too)
lihil.cc·18h·
Discuss: Hacker News, r/programming
🔒WASM Capabilities